搜索包含 Logics of Programs Workshop (1983 : Carnegie Mellon University) 的图书 - 暨南大学图书馆

大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Logics of Programs Workshop (1983 : Carnegie Mellon University) 的图书(共3598本)

	Algebraic topology : proceedings, University of British Columbia, Vancouver, August, 1977 0 索取号：O132-51/E8065 作者：出版社：Berlin ; New York : Springer-Verlag, 1978.		Generalized inverses and applications : proceedings of an advanced seminar 0 索取号：O151.21/E807 作者：Advanced Seminar on Generalized Inverses and Applications、 Madison、 Wis.、 1973.、Nashed、 M. Zuhair.、University of Wisconsin--Madison. Mathematics Research Center.、出版社：New York : Academic Press, 1976.
	Moving boundary problems : proceedings of the Symposium and Workshop on Moving Boundary Problems, held at Gatlinburg, Tennessee on September 26-28, 1977 0 索取号：O175.8/E807 作者：出版社：New York : Academic Press, 1978.		Modern university algebra 0 索取号：O15/E7011 作者：Marcus、 Marvin、 1927-、Minc、 Henryk.、出版社：New York : Macmillan, [1966]
	Workshop on Computational Geometry : Torino, 23-26 June 1992 0 索取号：O18-532/E993 作者：Workshop on Computational Geometry (1992 : Turin、 Italy)、Conte、 Alberto、 1942-、出版社：Singapore ; River Edge, NJ : World Scientific, c1993.		Development of the Minkowski geometry of numbers 0 索取号：O156.3/E601 作者：Hancock、 Harris、 1867-1944.、University of Cincinnati. Charles Phelps Taft Memorial Fund.、出版社：New York : MacMillan, 1939.
	Sparse matrices and their uses : based on the proceedings of the IMA Numerical Analysis Group Conference 0 索取号：O241-53/E906 作者：IMA Numerical Analysis Group. Conference (1980 : University of Reading)、Duff、 Iain S.、Institute of Mathematics and Its Applications.、University of Reading.、出版社：London ; New York : Academic Press, 1981.		Papers in algebra, analysis, and statistics 0 索取号：O151/E902 作者：Australian Mathematical Society. Summer Research Institute (21st : 1981 : University of Tasmania)、Lidl、 Rudolf.、出版社：Providence, R.I. : American Mathematical Society, c1982.
	Computer science and statistics : proceedings of the Fifteenth Symposium on the Interface, Houston, Texas, March 1983 0 索取号：TP3-53/E9043 作者：Symposium on the Interface (15th : 1983 : Houston、 Tex.)、Gentle、 James E.、 1943-、出版社：Amsterdam ; New York : North-Holland Pub. Co. ; New York : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1983.		The Structure of attractors in dynamical systems : proceedings, North Dakota State University, June 20-24, 1977 0 索取号：O132-51/E8059 作者：出版社：Berlin ; New York : Springer-Verlag, 1978.
	Mathematical methods in computer graphics and design 0 索取号：O29/E9016 作者：Conference on Mathematical Methods in Computer Graphics and Design (1978 : University of Leicester)、Brodlie、 K. W.、Institute of Mathematics and Its Applications.、出版社：London ; New York : Academic Press, 1980.		Introduction to university mathematics 0 索取号：O13/E803 作者：Smyrl、 J. L.、出版社：London : Hodder and Stoughton, 1978.
	Non-linear partial differential operators and quantization procedures : proceedings of a workshop held at Clausthal, Federal Republic of Germany, 1981 0 索取号：O175.3/E907 作者：出版社：Berlin ; New York : Springer-Verlag, 1983.		Mathematical control theory : proceedings, Canberra, Australia, August 23-September 2, 1977 0 索取号：O231/E805 作者：Conference on Mathematical Control Theory、 Australian National University、 1977.、Coppel、 W. A.、出版社：New York : Springer-Verlag, 1978.
	Numerical methods : proceedings of the international workshop held at Caracas, June 14-18, 1982 0 索取号：O241/E9015 作者：出版社：Berlin ; New York : Springer-Verlag, 1983.		Applied time series analysis 0 索取号：O177.92/E801 作者：Applied Time Series Symposium、 1st、 Tulsa、 Okla.、 1976.、Findley、 David F.、University of Tulsa.、出版社：New York : Academic Press, 1978.

	Algebraic topology : proceedings, University of British Columbia, Vancouver, August, 1977 0 索取号：O132-51/E8065 作者：出版社：Berlin ; New York : Springer-Verlag, 1978.		Generalized inverses and applications : proceedings of an advanced seminar 0 索取号：O151.21/E807 作者：Advanced Seminar on Generalized Inverses and Applications、 Madison、 Wis.、 1973.、Nashed、 M. Zuhair.、University of Wisconsin--Madison. Mathematics Research Center.、出版社：New York : Academic Press, 1976.
	Moving boundary problems : proceedings of the Symposium and Workshop on Moving Boundary Problems, held at Gatlinburg, Tennessee on September 26-28, 1977 0 索取号：O175.8/E807 作者：出版社：New York : Academic Press, 1978.		Modern university algebra 0 索取号：O15/E7011 作者：Marcus、 Marvin、 1927-、Minc、 Henryk.、出版社：New York : Macmillan, [1966]
	Workshop on Computational Geometry : Torino, 23-26 June 1992 0 索取号：O18-532/E993 作者：Workshop on Computational Geometry (1992 : Turin、 Italy)、Conte、 Alberto、 1942-、出版社：Singapore ; River Edge, NJ : World Scientific, c1993.		Development of the Minkowski geometry of numbers 0 索取号：O156.3/E601 作者：Hancock、 Harris、 1867-1944.、University of Cincinnati. Charles Phelps Taft Memorial Fund.、出版社：New York : MacMillan, 1939.
	Sparse matrices and their uses : based on the proceedings of the IMA Numerical Analysis Group Conference 0 索取号：O241-53/E906 作者：IMA Numerical Analysis Group. Conference (1980 : University of Reading)、Duff、 Iain S.、Institute of Mathematics and Its Applications.、University of Reading.、出版社：London ; New York : Academic Press, 1981.		Papers in algebra, analysis, and statistics 0 索取号：O151/E902 作者：Australian Mathematical Society. Summer Research Institute (21st : 1981 : University of Tasmania)、Lidl、 Rudolf.、出版社：Providence, R.I. : American Mathematical Society, c1982.
	Computer science and statistics : proceedings of the Fifteenth Symposium on the Interface, Houston, Texas, March 1983 0 索取号：TP3-53/E9043 作者：Symposium on the Interface (15th : 1983 : Houston、 Tex.)、Gentle、 James E.、 1943-、出版社：Amsterdam ; New York : North-Holland Pub. Co. ; New York : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1983.		The Structure of attractors in dynamical systems : proceedings, North Dakota State University, June 20-24, 1977 0 索取号：O132-51/E8059 作者：出版社：Berlin ; New York : Springer-Verlag, 1978.
	Mathematical methods in computer graphics and design 0 索取号：O29/E9016 作者：Conference on Mathematical Methods in Computer Graphics and Design (1978 : University of Leicester)、Brodlie、 K. W.、Institute of Mathematics and Its Applications.、出版社：London ; New York : Academic Press, 1980.		Introduction to university mathematics 0 索取号：O13/E803 作者：Smyrl、 J. L.、出版社：London : Hodder and Stoughton, 1978.
	Non-linear partial differential operators and quantization procedures : proceedings of a workshop held at Clausthal, Federal Republic of Germany, 1981 0 索取号：O175.3/E907 作者：出版社：Berlin ; New York : Springer-Verlag, 1983.		Mathematical control theory : proceedings, Canberra, Australia, August 23-September 2, 1977 0 索取号：O231/E805 作者：Conference on Mathematical Control Theory、 Australian National University、 1977.、Coppel、 W. A.、出版社：New York : Springer-Verlag, 1978.
	Numerical methods : proceedings of the international workshop held at Caracas, June 14-18, 1982 0 索取号：O241/E9015 作者：出版社：Berlin ; New York : Springer-Verlag, 1983.		Applied time series analysis 0 索取号：O177.92/E801 作者：Applied Time Series Symposium、 1st、 Tulsa、 Okla.、 1976.、Findley、 David F.、University of Tulsa.、出版社：New York : Academic Press, 1978.